Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
On a Higher-Order Calculus of Computational Fields
2019-01-01 Audrito G.; Viroli M.; Damiani F.; Pianini D.; Beal J.
On Sets of Irreducible Polynomials Closed by Composition
2017-01-01 Ferraguti, Andrea; Micheli, Giacomo; Schnyder, Reto
On Slicing Software Product Line Signatures
2020-01-01 Damiani F.; Lienhardt M.; Paolini L.
On the Expressivity of Total Reversible Programming Languages
2020-01-01 Matos A.B.; Paolini L.; Roversi L.
On Two Characterizations of Feature Models
2020-01-01 Damiani F.; Lienhardt M.; Paolini L.
An ontological perspective on thematic roles
2017-01-01 Goy, Annamaria; Magro, Diego; Rovera, Marco
Ontology Development for Competence Assessment in Virtual Communities of Practice
2018-01-01 Alice Barana, Luigi Di Caro, Michele Fioravera, Marina Marchisio, Sergio Rabellino
Ontology-driven Co-clustering of Gene Expression Data
2009-01-01 F. Cordero; R. G. Pensa; A. Visconti; D. Ienco; M. Botta
Open Compliance in Multiparty Sessions
2022-01-01 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
Optimization of Association Rules Extraction Through Exploitation of Context Dependent Constraints
2005-01-01 A. GALLO; R. ESPOSITO; R. MEO; M. BOTTA
P2T: Pay to Transport
2021-01-01 Barbara F.; Schifanella C.
Parameter-Less Tensor Co-clustering
2019-01-01 Battaglia, Elena; Pensa, Ruggero G.
Performance Analysis of Production Lines Through Statistical Model Checking
2021-01-01 Ballarini P.; Horvath A.
Personalized Recommendation of TV Programs
2003-01-01 L. Ardissono; C. Gena; P. Torasso; F. Bellifemine; A. Chiarotto; A. Difino; B. Negro
Petri Nets Validation of Markovian Models of Emergency Department Arrivals
2020-01-01 Ballarini P.; Duma D.; Horvath A.; Aringhieri R.
Populating a knowledge base with object-location relations using distributional semantics
2016-01-01 Basile V.; Jebbara S.; Cabrio E.; Cimiano P.
Post-synaptic Potential Regularization Has Potential
2019-01-01 Tartaglione, Enzo; Perlo, Daniele; Grangetto, Marco
PreDeLo 1.0: a Theorem Prover for Preferential Description Logics
2013-01-01 L. Giordano; V. Gliozzi; A. Jalal; N. Olivetti; G.L. Pozzato
Programming Goal-driven Web Sites using an Agent Logic Language
2001-01-01 M. Baldoni; C. Baroglio; A. Chiarotto; V. Patti
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics
2019-01-01 Dalmonte T.; Negri S.; Olivetti N.; Pozzato G.L.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile